@CHARSET "utf-8";

:active, :focus
{
	outline-style: none;
	-moz-outline-style:none;
}
a:hover
{
	color: #008ED5;
	text-decoration: none;
}
a:link
{
	color: #006699;
	text-decoration: underline;
}
a:visited
{
	color: #004466;
}
a.term
{
	border-bottom: 1px solid #E0F4FF;
	color: #00131D;
	text-decoration: none;
}
a.term:hover
{
	background-color: #ACF1FF;
	border-bottom: none;
	color: #40A0FF;
	text-decoration: none;
}
html
{
	margin: 0 0 1px 0; 
	min-height: 100%;
}
blockquote
{
	font-size: .9em;
	margin: 0 20px;
}
body
{
	background-color: #F7FFFB;
	font-family: Verdana, sans-serif;
	color: #00131D;
	margin: 0;
	border-bottom: 6px solid #202020;
	min-height: 100%;
	min-width: 60em;
	text-align: center;
}
cite
{
	font-style: italic;
}
div#abstract { margin: 15px 0; }
div#content {
	padding: 30px 4px 50px 50px;
	line-height: 1.8em;
	font-size: .9em;
	padding-bottom: 3em;
	margin: 0 auto;
	width: 60em;
	text-align: left;
}
div#title h1 { font-size: 200%; font-weight: bold; font-variant: small-caps; font-style: normal; text-align: center}
div#title h2 { font-size: 125%; font-variant: small-caps; font-style: normal; }
div.figure-left, div.figure-right, div.figure-center
{
	background-color: #D2F7FF;
	font-size: 80%;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding: 10px;
	text-align: center;
}
div.figure-center
{
	float: none;
	margin-left: 0px;
	margin-right: 0px;
}
div.figure-left
{
	float: left;
	margin-left: 0px;
	margin-right: 1em;
	width: 220px;
}
div.figure-right
{
	float: right;
	margin-left: 1em;
	margin-right: 0px;
	width: 220px;
}
div.figure-left p, div.figure-right p, div.figure-center p
{
	margin-bottom: 0px;
  text-align: left;
}
div.warning
{
	background-color: #E0D0FF;
	padding: 0.5em;
}
div.warning h2 { color: #13001D; font-size: 125%; font-weight: bold; font-variant: small-caps; font-style: normal; border-bottom: 1px solid #F0E0FF;}
div.warning a {color: #800040;}
em
{
	font-style: italic;
	font-weight: bold;
}
hr {color: #000;
background-color: #000;
height: 1px;border: 0;}
img
{
	border: 0;
}
img.bordered
{
  border: 1px solid #808080;
}
label
{
	cursor: pointer;
}
label em
{
	display: block;
	color: #CC0000;
}
ol.alpha-lower {list-style-type: lower-alpha; margin: 20px; position: relative; }
ol.alpha-upper {list-style-type: upper-alpha; margin: 20px; position: relative; }
ol.roman-lower {list-style-type: lower-roman; margin: 20px; position: relative; }
ol.roman-upper {list-style-type: upper-roman; margin: 20px; position: relative; }
ol.simple {list-style-type: none; margin: 20px; position: relative; }
p
{
	margin-bottom: 1em;
}
p h1
{
	font: 100% Verdana, sans-serif;
	display: inline;
	font-style: italic;
	font-weight: normal;
	font-variant: none;
}
p.affiliations	{ font-size: .85em; margin: 0; line-height:1.4em; }
p.authors { margin: 10px 0 0 0; font-weight: bold; font-size: 1.1em; }
p.publication-date {font-size: 0.9em; margin:0; text-align: right}
span.header {color: #333; font-size: 110%; line-height: 1em; font-family:Georgia, serif; margin-right: 0.5em;}
p.skip {margin: 0; padding: 0; font-size: 75%;}

p.subtitle { margin: 0; font-weight: bold; font-size: 1.1em; }
strong
{
	font-weight: bold;
}
sub {vertical-align:text-bottom;font-size: 0.8em;top:0.4em;position:relative}
sup {vertical-align:text-top;font-size: 0.8em;top:-0.4em;position:relative}
h1 sub, h1 sup
{
	font-size: .75em;
}
pre { padding: 1em; background-color: #D2F7FF;}
table { margin: 20px; border: none; }
th { padding: 6px; background-color: #ACF1FF; border: 4px solid #FFFFFF; border-width: 0 3px 3px 0; font-weight: bold; text-align: left}
td { padding: 6px; background-color: #D2F7FF; border: 4px solid #FFFFFF; border-width: 0 3px 3px 0; text-align: left; }
td.figure-cell
{
  padding: 0.5em;
  text-align: center;
  vertical-align: middle;
}
table.item { width: 100%; margin: 0px;}
table.item td
{
	background-color: transparent;
	border: none;
	vertical-align: top;
}
table.layout { margin:0; border-collapse: collapse}
table.layout td { padding:0; background-color:transparent; border:0; vertical-align:top; }
table.math {margin: 0; border-collapse: collapse;}
table.math td {padding: 2px; background-color:transparent; border:0; vertical-align:middle; text-align: center;}
table.math td.piece {text-align: left;}
table.definition, table.example
{
	width: 100%;
}
table.definition th, table.example th
{
	width: 10em;
}
div.thead { font-family: Georgia, serif; color: #333333; font-size: 1.2em; font-weight: normal; text-align: center; padding-top: 0.5em; padding-bottom: 0px;}

h1, h2, h3, h4, h5, h6 { font-family: Georgia, serif; color: #333333; }
h1 { font-size: 2.2em; font-weight: normal; line-height:1.1em; color: #333333; }
h2 { font-size: 1.6em; font-weight: normal; border-bottom: 1px solid #A0A0A0;}
h3 { font-size: 1.4em; font-weight: normal; margin: .8em 0; }
h4 { font-size: 1.2em; font-weight: normal}
h5 { font-size: 1em; }
h6 { font-size: .9em; }
input,
textarea { font-family: Verdana, sans-serif; color: #555555; font-size: 1em; }
.citation-authors
{
	font-variant: small-caps;
}
.volume-number
{
	font-weight: bold;
}
.title
{
	font-style: italic;
}
.math
{
	font-size: 1.2em;
	line-height: 1em;
	font-family: serif;
}
.math > a
{
	text-decoration: none;
}
.large
{
	font-size: 2.2em;
}
.small
{
	font-size: 0.8em;
}
.nomen
{
	font-size: 1.2em;
	line-height: 1em;
	font-family: serif;
	font-style: italic;
}
.set-complement
{
	text-decoration: overline;
}
.langname
{
	font-variant: small-caps;
}
.item
{
	padding-bottom: 1em;
	border-bottom: 1px solid #D7D7D7;
}
.icon img
{
	border: 2px solid;
}
.app-title
{
	font-weight: bold;
}
.item .link
{
	margin-top: 2em;
	padding-left: 400px;
	font-size: larger;
}
table.item td.icon
{
	width: 150px;
	padding-top: 2em;
	margin-right: 2em;
}